Hierarchical states in the Compositional Interchange Format
نویسندگان
چکیده
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF . The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF are redesigned in comparison to CIF . Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.
منابع مشابه
The Hierarchical Compositional Interchange Format
In computer science, the development of hierarchical automata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy, which results in the Hierarchical Compositional Interchan...
متن کاملFoundations of a Compositional Interchange Format for Hybrid Systems
A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its com...
متن کاملRepresentation and Interchange of Sound Spatialization Data for Compositional Applications
We present recent works on the representation of spatialization data for the authoring, interchange and rendering of spatial audio in musical contexts. These works are mainly implemented in the OpenMusic computer-aided composition environment. High-level structures created in compositional processes are represented by matrices, stored using a standardized interchange format and finally read and...
متن کاملModeling and Simulation Using the Compositional Interchange Format for Hybrid Systems
One of the major challenges towards a broad industrial acceptance of hybrid systems techniques and tools is the large number of distinct modeling formalisms and the resulting manual effort for the toolbased solution of many complex design or analysis tasks. A promising approach to achieve inter-operability between hybrid systems tools is to develop automatic translations of their formalisms via...
متن کاملGender Representation in Interchange (Third Edition) Series: A Social Semiotics Analysis
Gender representation has long been studied in both verbal and visual modes of ELT textbooks. However, regarding the visual mode, research has mainly focused on superficial analyses of how often each gender appears in different roles rather than on how the two genders are represented. The tools proposed in Kress and van Leeuwen’s (2006) social semiotics framework, however, permit deep ana...
متن کامل